German-Danish translation for "boolesche ungleichung"

Our team has been informed that the translation for "boolesche ungleichung" is missing and is verifying the word in question for acceptance in our online dictionaries.